Set-valued set theory. I.

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Interpreting lattice-valued set theory in fuzzy set theory

An interpretation of lattice-valued logic, defined by Titani, in basic fuzzy logic, defined by Hájek, is presented. Moreover, Titani’s axioms of lattice-valued set theory are interpreted in fuzzy set theory, under slight modifications of the fuzzy set theory axiomatics.

متن کامل

Generalized Algebra-Valued Models of Set Theory

We generalize the construction of lattice-valued models of set theory due to Takeuti, Titani, Kozawa and Ozawa to a wider class of algebras and show that this yields a model of a paraconsistent logic that validates all axioms of the negation-free fragment of Zermelo-Fraenkel set theory. §

متن کامل

Representability in Interval-Valued Fuzzy Set Theory

Interval-valued fuzzy set theory is an increasingly popular extension of fuzzy set theory where traditional [0, 1]-valued membership degrees are replaced by intervals in [0, 1] that approximate the (unknown) membership degrees. To construct suitable graded logical connectives in this extended setting, it is both natural and appropriate to “reuse” ingredients from classical fuzzy set theory. In ...

متن کامل

Orthomodular-Valued Models for quantum Set Theory

Orthomodular logic represented by a complete orthomodular lattice has been studied as a pertinent generalization of the two-valued logic, Boolean-valued logic, and quantum logic. In this paper, we introduce orthomodular logic valued models for set theory generalizing quantum logic valued models introduced by Takeuti as well as Boolean-valued models introduced by Scott and Solovay, and prove a g...

متن کامل

Generalized coincidence theory for set-valued maps

This paper presents a coincidence theory for general classes of maps based on the notion of a Φ-essential map (we will also discuss Φ-epi maps). c ©2017 All rights reserved.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Notre Dame Journal of Formal Logic

سال: 1974

ISSN: 0029-4527

DOI: 10.1305/ndjfl/1093891496